Semi-exact control functionals from Sard’s method
نویسندگان
چکیده
Summary A novel control variate technique is proposed for the post-processing of Markov chain Monte Carlo output, based on both Stein’s method and an approach to numerical integration due Sard. The resulting estimators posterior expected quantities interest are proven be polynomially exact in Gaussian context, while empirical results suggest that approximate a cubature near Bernstein–von Mises limit. main theoretical result establishes bias-correction property settings where does not leave invariant. Empirical across selection Bayesian inference tasks presented.
منابع مشابه
n-Monotone exact functionals
We study n-monotone functionals, which constitute a generalisation of n-monotone set functions. We investigate their relation to the concepts of exactness and natural extension, which generalise coherence and natural extension in the behavioural theory of imprecise probabilities. We improve upon a number of results in the literature, and prove among other things a representation result for exac...
متن کاملLazy Functional Algorithms for Exact Real Functionals
We show how functional languages can be used to write programs for real-valued functionals in exact real arithmetic. We concentrate on two useful functionals: deenite integration, and the functional returning the maximum value of a continuous function over a closed interval. The algorithms are a practical application of a method, due to Berger, for computing quantiiers over streams. Correctness...
متن کاملSemi-abelian Exact Completions
The theory of protomodular categories provides a simple and general context in which the basic theorems needed in homological algebra of groups, rings, Lie algebras and other non-abelian structures can be proved [2] [3] [4] [5] [6] [7] [9] [20]. An interesting aspect of the theory comes from the fact that there is a natural intrinsic notion of normal monomorphism [4]. Since any internal reflexi...
متن کاملExact real number computations relative to hereditarily total functionals
We show that the continuous existential quantifier ∃ω is not definable in Escardó’s Real-PCF from all functionals equivalent to a given total one in a uniform way. We further prove that relative to any total functional of type (I → I) → I which gives the maximum-value for any total input, we may, given a computable, total functional Φ of type (R → R) → R find a Real-PCF definable total Ψ equiva...
متن کاملExact Formulae for Variances of Functionals of Convex Hulls
The vertices of the convex hull of a uniform sample from the interior of a convex polygon are known to be concentrated close to the vertices of the polygon. Furthermore, the remaining area of the polygon outside of the convex hull is concentrated close to the vertices of the polygon. In order to see what happens in a corner of the polygon given by two adjacent edges, we consider—in view of affi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Biometrika
سال: 2021
ISSN: ['0006-3444', '1464-3510']
DOI: https://doi.org/10.1093/biomet/asab036